A Bayesian Computer Vision System for Modeling Human Interactions Nuria Oliver1, Barbara Rosario1 and Alex Pentland1 1 Vision and Modeling. Media Laboratory, MIT,

Source URL: www.nuriaoliver.com

• Markov models
• Statistics
• Probability
• Statistical models
• Bayesian statistics
• Bioinformatics
• Hidden Markov model
• Markov chain
• Bayesian network
• Kalman filter
• Graphical model
• Bayesian programming

Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract

Source URL: www.math.nagoya-u.ac.jp

• Type theory
• Data types
• Functional languages
• Type systems
• Object-oriented programming languages
• OCaml
• Type inference
• Generalized algebraic data type
• Unification
• ML
• HindleyMilner type system
• Type conversion

Aug 29 17:README Page 1 Aug 29 17:table of contents Page 1 xv6 is a re−implementation of Dennis Ritchie’s and Ken Thompson’s Unix Version 6 (v6). xv6 loosely follows the structure and style of v6,

Source URL: pdos.csail.mit.edu

• Software engineering
• Computer programming
• Computing
• C++
• C
• Procedural programming languages
• System calls
• Typedef
• Struct
• Stat
• Pointer
• C++ classes

408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41,

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Type theory
• Algorithms
• Programming paradigms
• Finite-state machine
• Algorithm
• Declarative programming
• HindleyMilner type system
• RANSAC
• Monad

The Graph Programming Language (GPL)    System Architect: Ephraim Donghyun Park (edp2114)  Verification & Validation: Peiqian Li (pl2521)  Manager & Language Guru: Qingxiang Jia (qj2125) 

Source URL: www1.cs.columbia.edu

PDF Document

Source URL: www.ccs.neu.edu

• Software engineering
• Programming language theory
• Software
• NATO
• CENTAG wartime structure
• Gradual typing
• Factorization
• Type system
• Racket

COMP 520 FallType checking Type checking (1)

Source URL: www.sable.mcgill.ca

• Data types
• Software engineering
• Type theory
• Computing
• Programming language theory
• Program analysis
• Type system
• Const

Programming with SPIP DOCUMENTATION TO BE USED BY DEVELOPERS AND WEBMASTERS SPIP’s version+ / 10% translated / November 2009 SPIP is both a publication system and a development platform. After

Source URL: programmer2.spip.net

An Efficient Runtime System for Reactive Programming Eine effiziente Laufzeitumgebung für die reaktive Programmierung Master-Thesis von Malte Viering Tag der Einreichung: 1. Gutachten: Prof. Dr.-Ing. Mira Mezini

Source URL: mviering.de

RELIC is an Efficient LIbrary for Cryptography Diego F. Aranha Department of Computer Science University of Bras´ılia Relic

Source URL: ecc2011.loria.fr

• Software
• Cryptographic software
• Computer programming
• System software
• OpenSSL
• Aranha
• NTL Incorporated
• Recursion
• Libgcrypt